Lorge Parnas, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Software Structures: A Careful Look

Lorge Parnas, David

Journal:

Year:

2018

Language:

english

File:

PDF, 391 KB

english, 2018

2

Software engineering programmes are not computer science programmes

David Lorge Parnas

Journal:

Annals of Software Engineering

Year:

1998

Language:

english

File:

PDF, 78 KB

english, 1998

3

Structured programming: A minor part of software engineering

David Lorge Parnas

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 144 KB

english, 2003

4

On code reuse

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 365 KB

english, 1999

5

The real risks of artificial intelligence

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

6

Who taught me about software engineering research?

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 392 KB

english, 1998

7

Software Engineering Principles

Lorge Parnas, David

Journal:

INFOR Information Systems and Operational Research

Year:

1984

Language:

english

File:

PDF, 1.27 MB

english, 1984

8

The use of mathematics in software quality assurance

David Lorge Parnas

Journal:

Frontiers of Computer Science

Year:

2012

Language:

english

File:

PDF, 429 KB

english, 2012

9

Successful software engineering research

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 557 KB

english, 1998

10

A rational design process: How and why to fake it

Parnas, David Lorge, Clements, Paul C.

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 1.67 MB

english, 1986

11

Document based rational software development

David Lorge Parnas

Journal:

Knowledge-Based Systems

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

12

Correction to “a rational design process: How and why to fake it”

Parnas, David Lorge, Clements, Paul C.

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 161 KB

english, 1986

13

A generalized control structure and its formal definition

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1983

Language:

english

File:

PDF, 5.72 MB

english, 1983

14

Parnas on Parnas

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 369 KB

english, 1999

15

“Formal methods” technology transfer will fail

David Lorge Parnas

Journal:

Journal of Systems and Software

Year:

1998

Language:

english

File:

PDF, 478 KB

english, 1998

16

A logic for describing, not verifying, software

David Lorge Parnas

Journal:

Year:

1995

Language:

english

File:

PDF, 998 KB

english, 1995

17

Software aspects of strategic defense systems

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1985

Language:

english

File:

PDF, 1.11 MB

english, 1985

18

Software engineering: an unconsummated marriage

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1997

Language:

english

File:

PDF, 904 KB

english, 1997

19

The risks of stopping too soon

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2011

Language:

english

File:

PDF, 1.08 MB

english, 2011

20

On iterative constructs

Parnas, David Lorge

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1990

Language:

english

File:

PDF, 182 KB

english, 1990

21

Software Systems Engineering programmes a capability approach

Landwehr, Carl, Ludewig, Jochen, Meersman, Robert, Parnas, David Lorge, Shoval, Peretz, Wand, Yair, Weiss, David, Weyuker, Elaine

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 901 KB

english, 2017

22

Functional documents for computer systems

David Lorge Parnas, Jan Madey

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 1.54 MB

english, 1995

23

On ICSE's “most influential” papers

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 325 KB

english, 1995

24

Which is riskier

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2007

Language:

english

File:

PDF, 44 KB

english, 2007

25

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Precise software documentation

Parnas, David Lorge

Year:

2007

Language:

english

File:

PDF, 70 KB

english, 2007

26

Views: Software Aspects of Strategic Defense Systems: A former member of the SDIO Panel on Computing in Support of Battle Management explains why he believes the "star wars" effort will not achieve its stated goals

David Lorge Parnas

Journal:

American Scientist

Year:

1985

Language:

english

File:

PDF, 1.84 MB

english, 1985

27

Documenting and verifying systems assembled from components

Zhiying Liu, David Lorge Parnas, Baltasar Trancon y Widemann

Journal:

Frontiers of Computer Science

Year:

2010

Language:

english

File:

PDF, 196 KB

english, 2010

28

Stop the numbers game

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2007

Language:

english

File:

PDF, 76 KB

english, 2007

29

Software aspects of strategic defense systems

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

Language:

english

File:

PDF, 1.12 MB

english, 1985

30

Software engineering (extended abstract)

Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 256 KB

english, 1997

31

Why Engineers Should Not Use Artificial Intelligence

Lorge Parnas, David

Journal:

INFOR Information Systems and Operational Research

Year:

1988

File:

PDF, 1.21 MB

1988

32

Priority Scheduling Versus Pre-Run-Time Scheduling

Jia Xu, David Lorge Parnas

Journal:

Real-Time Systems

Year:

2000

Language:

english

File:

PDF, 64 KB

english, 2000

33

[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - "No silver bullet" reloaded

Fraser, Steven D., Brooks, Frederick P., Fowler, Martin, Lopez, Ricardo, Namioka, Aki, Northrop, Linda, Parnas, David Lorge, Thomas, David

Year:

2007

Language:

english

File:

PDF, 231 KB

english, 2007

34

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Fault Propagation in Tabular Expression-Based Specifications

Feng, Xin, Parnas, David Lorge, Tse, T. H.

Year:

2008

Language:

english

File:

PDF, 255 KB

english, 2008

35

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Tabular Expression-Based Testing Strategies: A Comparison

Feng, Xin, Parnas, David Lorge, Tse, T.H.

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

36

On satisfying timing constraints in hard-real-time systems

Xu, Jia, Parnas, David Lorge

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1991

Language:

english

File:

PDF, 1.68 MB

english, 1991

37

Licensing software engineers in Canada

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

2002

Language:

english

File:

PDF, 77 KB

english, 2002

38

Inside risks: ten myths about Y2K inspections

Parnas, David Lorge

Journal:

Communications of the ACM

Year:

1999

Language:

english

File:

PDF, 28 KB

english, 1999

39

Defining the meaning of tabular mathematical expressions

Ying Jin, David Lorge Parnas

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 1.89 MB

english, 2010

40

A family of computer systems for delivering individualized advice

Lillian Chik-Parnas, Marius Dragomiroiu, David Lorge Parnas

Journal:

Knowledge-Based Systems

Year:

2010

Language:

english

File:

PDF, 3.27 MB

english, 2010

41

Varia with a Workshop on the Foundations of Partial Functions and Programming || A Logic for Describing, Not Verifying, Software

David Lorge Parnas

Journal:

Year:

1995

Language:

english

File:

PDF, 1.72 MB

english, 1995

42

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Tabular Expression-Based Testing Strategies: A Comparison

Feng, Xin, Parnas, David Lorge, Tse, T.H.

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

43

[ACM Press the conference - New Orleans, Louisiana, United States (1991.12.04-1991.12.06)] Proceedings of the conference on Software for citical systems - SIGSOFT '91 - On satisfying timing constraints in hard-real-time systems

Xu, Jia, Parnas, David Lorge

Year:

1991

Language:

english

File:

PDF, 1.68 MB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски